<html><head>
<link rel="stylesheet" href="style.css" type="text/css">
<meta content="text/html; charset=iso-8859-1" http-equiv="Content-Type">
<link rel="Start" href="index.html">
<link title="Index of types" rel=Appendix href="index_types.html">
<link title="Index of values" rel=Appendix href="index_values.html">
<link title="Index of modules" rel=Appendix href="index_modules.html">
<link title="Fpu" rel="Chapter" href="Fpu.html">
<link title="Fpu_rename" rel="Chapter" href="Fpu_rename.html">
<link title="Fpu_rename_all" rel="Chapter" href="Fpu_rename_all.html">
<link title="Interval" rel="Chapter" href="Interval.html"><title>Interval</title>
</head>
<body>
<code class="code"><span class="keyword">sig</span><br>
&nbsp;&nbsp;<span class="keyword">type</span>&nbsp;interval&nbsp;=&nbsp;{&nbsp;low&nbsp;:&nbsp;float;&nbsp;high&nbsp;:&nbsp;float;&nbsp;}<br>
&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;zero_I&nbsp;:&nbsp;<span class="constructor">Interval</span>.interval<br>
&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;one_I&nbsp;:&nbsp;<span class="constructor">Interval</span>.interval<br>
&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;pi_I&nbsp;:&nbsp;<span class="constructor">Interval</span>.interval<br>
&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;e_I&nbsp;:&nbsp;<span class="constructor">Interval</span>.interval<br>
&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;printf_I&nbsp;:<br>
&nbsp;&nbsp;&nbsp;&nbsp;(float&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;string,&nbsp;unit,&nbsp;string)&nbsp;<span class="constructor">Pervasives</span>.format&nbsp;<span class="keywordsign">-&gt;</span><br>
&nbsp;&nbsp;&nbsp;&nbsp;<span class="constructor">Interval</span>.interval&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;unit<br>
&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;fprintf_I&nbsp;:<br>
&nbsp;&nbsp;&nbsp;&nbsp;<span class="constructor">Pervasives</span>.out_channel&nbsp;<span class="keywordsign">-&gt;</span><br>
&nbsp;&nbsp;&nbsp;&nbsp;(float&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;string,&nbsp;unit,&nbsp;string)&nbsp;<span class="constructor">Pervasives</span>.format&nbsp;<span class="keywordsign">-&gt;</span><br>
&nbsp;&nbsp;&nbsp;&nbsp;<span class="constructor">Interval</span>.interval&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;unit<br>
&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;sprintf_I&nbsp;:<br>
&nbsp;&nbsp;&nbsp;&nbsp;(float&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;string,&nbsp;unit,&nbsp;string)&nbsp;<span class="constructor">Pervasives</span>.format&nbsp;<span class="keywordsign">-&gt;</span><br>
&nbsp;&nbsp;&nbsp;&nbsp;<span class="constructor">Interval</span>.interval&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;string<br>
&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;float_i&nbsp;:&nbsp;int&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="constructor">Interval</span>.interval<br>
&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;compare_I_f&nbsp;:&nbsp;<span class="constructor">Interval</span>.interval&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;float&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;int<br>
&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;size_I&nbsp;:&nbsp;<span class="constructor">Interval</span>.interval&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;float<br>
&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;sgn_I&nbsp;:&nbsp;<span class="constructor">Interval</span>.interval&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="constructor">Interval</span>.interval<br>
&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;truncate_I&nbsp;:&nbsp;<span class="constructor">Interval</span>.interval&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="constructor">Interval</span>.interval<br>
&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;abs_I&nbsp;:&nbsp;<span class="constructor">Interval</span>.interval&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="constructor">Interval</span>.interval<br>
&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;union_I_I&nbsp;:&nbsp;<span class="constructor">Interval</span>.interval&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="constructor">Interval</span>.interval&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="constructor">Interval</span>.interval<br>
&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;max_I_I&nbsp;:&nbsp;<span class="constructor">Interval</span>.interval&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="constructor">Interval</span>.interval&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="constructor">Interval</span>.interval<br>
&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;min_I_I&nbsp;:&nbsp;<span class="constructor">Interval</span>.interval&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="constructor">Interval</span>.interval&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="constructor">Interval</span>.interval<br>
&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;(&nbsp;+$&nbsp;)&nbsp;:&nbsp;<span class="constructor">Interval</span>.interval&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="constructor">Interval</span>.interval&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="constructor">Interval</span>.interval<br>
&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;(&nbsp;+$.&nbsp;)&nbsp;:&nbsp;<span class="constructor">Interval</span>.interval&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;float&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="constructor">Interval</span>.interval<br>
&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;(&nbsp;+.$&nbsp;)&nbsp;:&nbsp;float&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="constructor">Interval</span>.interval&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="constructor">Interval</span>.interval<br>
&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;(&nbsp;-$&nbsp;)&nbsp;:&nbsp;<span class="constructor">Interval</span>.interval&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="constructor">Interval</span>.interval&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="constructor">Interval</span>.interval<br>
&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;(&nbsp;-$.&nbsp;)&nbsp;:&nbsp;<span class="constructor">Interval</span>.interval&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;float&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="constructor">Interval</span>.interval<br>
&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;(&nbsp;-.$&nbsp;)&nbsp;:&nbsp;float&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="constructor">Interval</span>.interval&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="constructor">Interval</span>.interval<br>
&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;(&nbsp;<span class="keywordsign">~-$</span>&nbsp;)&nbsp;:&nbsp;<span class="constructor">Interval</span>.interval&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="constructor">Interval</span>.interval<br>
&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;(&nbsp;*$.&nbsp;)&nbsp;:&nbsp;<span class="constructor">Interval</span>.interval&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;float&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="constructor">Interval</span>.interval<br>
&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;(&nbsp;*.$&nbsp;)&nbsp;:&nbsp;float&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="constructor">Interval</span>.interval&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="constructor">Interval</span>.interval<br>
&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;(&nbsp;*$&nbsp;)&nbsp;:&nbsp;<span class="constructor">Interval</span>.interval&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="constructor">Interval</span>.interval&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="constructor">Interval</span>.interval<br>
&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;(&nbsp;/$.&nbsp;)&nbsp;:&nbsp;<span class="constructor">Interval</span>.interval&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;float&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="constructor">Interval</span>.interval<br>
&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;(&nbsp;/.$&nbsp;)&nbsp;:&nbsp;float&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="constructor">Interval</span>.interval&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="constructor">Interval</span>.interval<br>
&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;(&nbsp;/$&nbsp;)&nbsp;:&nbsp;<span class="constructor">Interval</span>.interval&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="constructor">Interval</span>.interval&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="constructor">Interval</span>.interval<br>
&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;mod_I_f&nbsp;:&nbsp;<span class="constructor">Interval</span>.interval&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;float&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="constructor">Interval</span>.interval<br>
&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;inv_I&nbsp;:&nbsp;<span class="constructor">Interval</span>.interval&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="constructor">Interval</span>.interval<br>
&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;sqrt_I&nbsp;:&nbsp;<span class="constructor">Interval</span>.interval&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="constructor">Interval</span>.interval<br>
&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;pow_I_i&nbsp;:&nbsp;<span class="constructor">Interval</span>.interval&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;int&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="constructor">Interval</span>.interval<br>
&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;(&nbsp;**$.&nbsp;)&nbsp;:&nbsp;<span class="constructor">Interval</span>.interval&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;float&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="constructor">Interval</span>.interval<br>
&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;(&nbsp;**$&nbsp;)&nbsp;:&nbsp;<span class="constructor">Interval</span>.interval&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="constructor">Interval</span>.interval&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="constructor">Interval</span>.interval<br>
&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;(&nbsp;**.$&nbsp;)&nbsp;:&nbsp;float&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="constructor">Interval</span>.interval&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="constructor">Interval</span>.interval<br>
&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;log_I&nbsp;:&nbsp;<span class="constructor">Interval</span>.interval&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="constructor">Interval</span>.interval<br>
&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;exp_I&nbsp;:&nbsp;<span class="constructor">Interval</span>.interval&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="constructor">Interval</span>.interval<br>
&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;cos_I&nbsp;:&nbsp;<span class="constructor">Interval</span>.interval&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="constructor">Interval</span>.interval<br>
&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;sin_I&nbsp;:&nbsp;<span class="constructor">Interval</span>.interval&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="constructor">Interval</span>.interval<br>
&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;tan_I&nbsp;:&nbsp;<span class="constructor">Interval</span>.interval&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="constructor">Interval</span>.interval<br>
&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;acos_I&nbsp;:&nbsp;<span class="constructor">Interval</span>.interval&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="constructor">Interval</span>.interval<br>
&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;asin_I&nbsp;:&nbsp;<span class="constructor">Interval</span>.interval&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="constructor">Interval</span>.interval<br>
&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;atan_I&nbsp;:&nbsp;<span class="constructor">Interval</span>.interval&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="constructor">Interval</span>.interval<br>
&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;atan2mod_I_I&nbsp;:<br>
&nbsp;&nbsp;&nbsp;&nbsp;<span class="constructor">Interval</span>.interval&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="constructor">Interval</span>.interval&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="constructor">Interval</span>.interval<br>
&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;atan2_I_I&nbsp;:&nbsp;<span class="constructor">Interval</span>.interval&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="constructor">Interval</span>.interval&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="constructor">Interval</span>.interval<br>
&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;cosh_I&nbsp;:&nbsp;<span class="constructor">Interval</span>.interval&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="constructor">Interval</span>.interval<br>
&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;sinh_I&nbsp;:&nbsp;<span class="constructor">Interval</span>.interval&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="constructor">Interval</span>.interval<br>
&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;tanh_I&nbsp;:&nbsp;<span class="constructor">Interval</span>.interval&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="constructor">Interval</span>.interval<br>
&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;size_max_X&nbsp;:&nbsp;<span class="constructor">Interval</span>.interval&nbsp;array&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;float<br>
&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;size_mean_X&nbsp;:&nbsp;<span class="constructor">Interval</span>.interval&nbsp;array&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;float<br>
&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;printf_X&nbsp;:<br>
&nbsp;&nbsp;&nbsp;&nbsp;(float&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;string,&nbsp;unit,&nbsp;string)&nbsp;<span class="constructor">Pervasives</span>.format&nbsp;<span class="keywordsign">-&gt;</span><br>
&nbsp;&nbsp;&nbsp;&nbsp;<span class="constructor">Interval</span>.interval&nbsp;array&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;unit<br>
&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;fprintf_X&nbsp;:<br>
&nbsp;&nbsp;&nbsp;&nbsp;<span class="constructor">Pervasives</span>.out_channel&nbsp;<span class="keywordsign">-&gt;</span><br>
&nbsp;&nbsp;&nbsp;&nbsp;(float&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;string,&nbsp;unit,&nbsp;string)&nbsp;<span class="constructor">Pervasives</span>.format&nbsp;<span class="keywordsign">-&gt;</span><br>
&nbsp;&nbsp;&nbsp;&nbsp;<span class="constructor">Interval</span>.interval&nbsp;array&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;unit<br>
&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;sprintf_X&nbsp;:<br>
&nbsp;&nbsp;&nbsp;&nbsp;(float&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;string,&nbsp;unit,&nbsp;string)&nbsp;<span class="constructor">Pervasives</span>.format&nbsp;<span class="keywordsign">-&gt;</span><br>
&nbsp;&nbsp;&nbsp;&nbsp;<span class="constructor">Interval</span>.interval&nbsp;array&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;string<br>
&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;print_X&nbsp;:&nbsp;<span class="constructor">Interval</span>.interval&nbsp;array&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;unit<br>
&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;print_I&nbsp;:&nbsp;<span class="constructor">Interval</span>.interval&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;unit<br>
&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;size_X&nbsp;:&nbsp;<span class="constructor">Interval</span>.interval&nbsp;array&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;float<br>
&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;size2_X&nbsp;:&nbsp;<span class="constructor">Interval</span>.interval&nbsp;array&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;float<br>
&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;(&nbsp;&lt;$.&nbsp;)&nbsp;:&nbsp;<span class="constructor">Interval</span>.interval&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;float&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;int<br>
&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;pow_I_f&nbsp;:&nbsp;<span class="constructor">Interval</span>.interval&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;float&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="constructor">Interval</span>.interval<br>
&nbsp;&nbsp;<span class="keyword">val</span>&nbsp;pow_I_I&nbsp;:&nbsp;<span class="constructor">Interval</span>.interval&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="constructor">Interval</span>.interval&nbsp;<span class="keywordsign">-&gt;</span>&nbsp;<span class="constructor">Interval</span>.interval<br>
<span class="keyword">end</span></code></body></html>